Requirements Level Semantics for UML Statecharts
نویسندگان
چکیده
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler semantics than an implementation level model. Our semantics is an adaptation of the Statemate statechart semantics, with local variables, real time, identifier addressing, point-to-point communication, synchronous communication and dynamic object creation and deletion. We start with an informal comparison of Statemate and UML statechart semantics and then give a formalisation of our semantics in terms of labelled transition systems.
منابع مشابه
System Model Semantics of Statecharts
In this report, semantics for Statecharts is defined based on a mathematical model of object systems called"system model". The semantics definition is detailed for UML/P Statecharts, a variant of Statecharts which restricts the use of a few methodologically and semantically difficult concepts. After transforming full UML/P Statecharts to simplified but semantically equivalent Statecharts, the s...
متن کاملA Formal Semantics for UML Activity Diagrams ~ Formalising Workflow Models
In this report we define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our workflow models express software requirements and therefore assume a perfect implementation. In our semantics, software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with dat...
متن کاملTowards a Formal Operational Semantics of UML Statechart Diagrams
Statechart Diagrams are a notation for describing behaviours in the framework of UML, the Unified Modeling Language of object-oriented systems. UML is a semi-formal language, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML Statechart Diagrams differ from classical statecharts, as defined by Harel, for which formalizations and res...
متن کاملA Real-Time Execution Semantics for UML Activity Diagrams
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with data manipulation. Our semantics also deals with real-time and mult...
متن کاملSemantics of State-Oriented Expressions in the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). It is primarily used to formulate restrictions for UML class diagrams. Additionally, it is possible to refer to UML Statechart states in OCL expressions to reason about currently activated states. However, neither the current OCL standard nor the proposal for the new OCL 2.0 version integrat...
متن کامل